CONFIG_VTI build fixes.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

diff --git a/xen/arch/ia64/mmio.c b/xen/arch/ia64/mmio.c
index 76a47a23a02ddbbe6b77522ce248664fb15718cf..7a68cf05d0337365537af8201f84e9546f8a925e 100644 (file)
--- a/xen/arch/ia64/mmio.c
+++ b/xen/arch/ia64/mmio.c
@@ -25,7 +25,7 @@
 #include <asm/tlb.h>
 #include <asm/vmx_mm_def.h>
 #include <asm/gcc_intrin.h>
-#include <xen/interrupt.h>
+#include <linux/interrupt.h>
 #include <asm/vmx_vcpu.h>
 #include <asm/privop.h>
 #include <asm/types.h>

diff --git a/xen/arch/ia64/vmmu.c b/xen/arch/ia64/vmmu.c
index bebb346165ec4981b910721fbd5e88b64bcad434..d48e617191648f1febc8a683eda1257623ebc8c6 100644 (file)
--- a/xen/arch/ia64/vmmu.c
+++ b/xen/arch/ia64/vmmu.c
@@ -24,7 +24,7 @@
 #include <asm/tlb.h>
 #include <asm/gcc_intrin.h>
 #include <asm/vcpu.h>
-#include <xen/interrupt.h>
+#include <linux/interrupt.h>
 #include <asm/vmx_vcpu.h>
 #include <asm/vmx_mm_def.h>
 #include <asm/vmx.h>

diff --git a/xen/arch/ia64/vtlb.c b/xen/arch/ia64/vtlb.c
index dd5ce84ec36fd9917702cd8ba8ce0e41624628c8..034d7efe8d8099821fec89eb7fd6ee11db2553be 100644 (file)
--- a/xen/arch/ia64/vtlb.c
+++ b/xen/arch/ia64/vtlb.c
@@ -26,7 +26,7 @@
 #include <asm/mm.h>
 #include <asm/vmx_mm_def.h>
 #include <asm/gcc_intrin.h>
-#include <xen/interrupt.h>
+#include <linux/interrupt.h>
 #include <asm/vmx_vcpu.h>
 #define  MAX_CCH_LENGTH     40